object <:<
- Companion
- class
- Source
- typeConstraints.scala
Value members
Concrete methods
If A <: B and B <: A, then A = B (subtyping is antisymmetric)
If A <: B and B <: A, then A = B (subtyping is antisymmetric)
- Source
- typeConstraints.scala
Implicits
Implicits
A =:= A for all A (equality is reflexive).
A =:= A for all A (equality is reflexive). This also provides implicit views A <:< B
when A <: B, because (A =:= A) <: (A <:< A) <: (A <:< B).
- Source
- typeConstraints.scala